Transformations Debugging Transformations
نویسندگان
چکیده
Practical model transformation (MT) frameworks are usually composed of multiple execution contexts, building an overall workflow by abstracting different aspects of execution. This heterogeneity brings additional challenges to debugging, which must address a combination of quite different graphical and textual formalisms. In this work we describe a layered approach to debugging, mapping familiar debugging operations to different formalisms, as well as the transitions between them. Our design allows for seamless debugging through different abstractions, and supports both traditional imperative debugging as well as declarative, query-based approaches. We demonstrate our approach by prototyping a MT debugger in the AToMPM research tool. Our approach shows that it can be applied to other MT tools as well.
منابع مشابه
Capturing the E ects of Code Improving Transformations
Symbolic debugging of transformed code requires information about the impact of applying transformations on statement instances so that the appropriate values can be displayed to a user. We present a technique to automatically identify statement instance correspondences between untransformed and transformed code and generate mappings reeecting these correspondences as code improving transformat...
متن کاملDebugging for Model Transformations
In Model-Driven Engineering, the evolution of models is commonly defined using model transformation languages, which can be used to specify the distinct needs of a requirements or engineering change at the software modeling level. Model transformations are also a type of software abstraction that can be subject to human error. This paper presents a research proposal to investigate applying thre...
متن کاملVisual Specification of a DSL Processor Debugger
Graph rewriting-based model transformation is an essential tool to process graph-based visual models. If the execution of transformations is not supported by the continuous presentation of the modifications performed on the model, the traceability and the debugging of transformations becomes difficult. Recent modeling tools usually support the definition of rewriting rules based transformations...
متن کاملA Static Analyzer for Model Transformations
Adoption of the Model-Driven Architecture approach is increasing each day. As any other software development project, a MDA-based project is constantly evolving given that software requirements change along their lifecycle. Thus, changes in MDA transformations are also frequent. These changes are hard and error-prone tasks when manually accomplished. We propose a static analyzer for inspecting ...
متن کاملTowards Debugging the Matching of Henshin Model Transformations Rules
Model Driven Engineering aims at improving effectiveness and efficiency of software engineering. Model transformations are a key artifact in model driven engineering as they enable transforming models into other artifacts for further processing, e.g. analysis models or executable code. However, particularly graph transformation based model transformation tools often lack detailed debugging capa...
متن کامل